Cybernetics and Human Knowing. Vol), nos. 2-3, ppCybernetics and Design: Conversations for Action Hugh Dubberly1 and Paul Pangaro2 Working for decades as both theorist and teacher, Ranulph Glanville ca

Source URL: www.pangaro.com

• Cybernetics
• Systems theory
• Design
• Ranulph Glanville
• Second-order cybernetics
• Design methods
• Macy conferences
• Systems thinking
• Meta-system
• Design rationale
• Wicked problem
• Conversation theory

Design and Implementation of the LogicBlox System Molham Aref Balder ten Cate Todd J. Green Emir Pasalic Todd L. Veldhuizen

Source URL: developer.logicblox.com

• Computing
• Software engineering
• Software
• Grammar
• SQL keywords
• Formal methods
• Datalog
• Prolog
• Predicate
• Relational model
• Join
• Extensible Storage Engine

Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera

Source URL: www.fi.muni.cz

Creating Weavable Color Patterns, Part 1: Design Methods A previous article on weavable color patterns [1] described how to determine if a color pattern is weavable and, if so, how to create a draft for it. This article

Source URL: www.cs.arizona.edu

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Introduction DESPEX Conclusion Formal and Informal Methods for Multi-Core Design Space Exploration

Source URL: www-verimag.imag.fr

Political Analysis Advance Access published April 2, 2011 doi:pan/mpr005 Estimating Treatment Effects in the Presence of Noncompliance and Nonresponse: The Generalized

Source URL: www.davidlazer.com

• Statistics
• Experiments
• Regression analysis
• Causal inference
• Statistical methods
• Design of experiments
• Principal stratification
• Average treatment effect
• Instrumental variable
• Scientific control
• Structural equation modeling
• Stratification

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: yices.csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Logic in computer science
• Formal methods
• Boolean algebra
• Complexity classes
• Electronic design automation
• Satisfiability modulo theories
• True quantified Boolean formula
• FO
• NC